Finite-Repetition threshold for infinite ternary words

JOURNAL ARTICLE published 17 August 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Golnaz Badkobeh | Maxime Crochemore

On Pansiot Words Avoiding 3-Repetitions

JOURNAL ARTICLE published 17 August 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Irina A. Gorbunova | Arseny M. Shur

A PBPO+ Graph Rewriting Tutorial

JOURNAL ARTICLE published 1 April 2023 in Electronic Proceedings in Theoretical Computer Science

Authors: Roy Overbeek | Jörg Endrullis

Regular Expressions in a CS Formal Languages Course

JOURNAL ARTICLE published 14 August 2023 in Electronic Proceedings in Theoretical Computer Science

Authors: Marco T. Morazán

Equivalence Problems for Tree Transducers: A Brief Survey

JOURNAL ARTICLE published 21 May 2014 in Electronic Proceedings in Theoretical Computer Science

Authors: Sebastian Maneth

Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers

JOURNAL ARTICLE published 20 November 2013 in Electronic Proceedings in Theoretical Computer Science

Authors: Sebastian Maneth

Finite-State Complexity and the Size of Transducers

JOURNAL ARTICLE published 7 August 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Cristian Calude | Kai Salomaa | Tania Roblot

Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations

JOURNAL ARTICLE published 24 August 2014 in Electronic Proceedings in Theoretical Computer Science

Authors: Christof Löding | Sarah Winter

Node Query Preservation for Deterministic Linear Top-Down Tree Transducers

JOURNAL ARTICLE published 20 November 2013 in Electronic Proceedings in Theoretical Computer Science

Authors: Kazuki Miyahara | Kenji Hashimoto | Hiroyuki Seki

Expressiveness of Visibly Pushdown Transducers

JOURNAL ARTICLE published 20 November 2013 in Electronic Proceedings in Theoretical Computer Science

Authors: Mathieu Caralp | Emmanuel Filiot | Pierre-Alain Reynier | Frédéric Servais | Jean-Marc Talbot

JOURNAL ISSUE published 8 July 2012 in Electronic Proceedings in Theoretical Computer Science

Editors: César Andrés | Luis Llana

JOURNAL ISSUE published 17 August 2011 in Electronic Proceedings in Theoretical Computer Science

Editors: Petr Ambrož | Štěpán Holub | Zuzana Masáková

Compositions of Weighted Extended Top-Down Tree Transducers

JOURNAL ARTICLE published 3 September 2023 in Electronic Proceedings in Theoretical Computer Science

Authors: Andreas Maletti

Retraction notice to “Semantic Domains for Combining Probability and Non-Determinism” [Electron. Notes Theoret. Comput. Sci. 129 (2005) 1-104]

JOURNAL ARTICLE published February 2009 in Electronic Notes in Theoretical Computer Science

Authors: R. Tix | K. Keimel | G.D. Plotkin

The LTS WorkBench

JOURNAL ARTICLE published 19 August 2015 in Electronic Proceedings in Theoretical Computer Science

Authors: Alceste Scalas | Massimo Bartoletti

Session Types at the Mirror

JOURNAL ARTICLE published 3 December 2009 in Electronic Proceedings in Theoretical Computer Science

Authors: Luca Padovani

JOURNAL ISSUE published 22 January 2011 in Electronic Proceedings in Theoretical Computer Science

Editors: Elaine Pimentel | Betti Venneri | Joe Wells

Monoids and Maximal Codes

JOURNAL ARTICLE published 17 August 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Fabio Burderi

Intersection Types and Counting

JOURNAL ARTICLE published 7 February 2017 in Electronic Proceedings in Theoretical Computer Science

Authors: Paweł Parys

Scalable Minimization Algorithm for Partial Bisimulation

JOURNAL ARTICLE published 8 July 2012 in Electronic Proceedings in Theoretical Computer Science

Authors: J. Markovski